extract:

fetch:
	rm -f fetched/*
	wget http://www.w3.org/Addressing/rfc1738.txt
	mv rfc* fetched/
